In : Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning

نویسندگان

  • Marco Cadoli
  • Thomas Eiter
  • Georg Gottlob
چکیده

Research in NMR has focused largely on the idea of representing knowledge about the world via rules that are generally true but can be defeated. Even if relational databases are nowadays the main tool for storing very large sets of data, the approach of using non-monotonic formalisms as relational database query languages has been investigated to a much smaller extent. In this work we propose a novel application of default logic by introducing a default query language (DQL) for nite relational databases, which is based on default rules. The main result of this paper is that DQL is as expressive as SO 98 , the existential universal fragment of second order logic. This result is not only of theoretical importance: We show queries {which are useful in practice{ that can be expressed with DQL and cannot with other query languages based on non-monotonic logics such as DATALOG : stable. Another result in this paper concerns the combined complexity of DQL, i.e., when it is assumed that the query is part of the input; for this problem, NEXPTIME NP-completeness is shown.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Organization of Gatekeeping and Mental Framework in the System of Representation and Hierarchical Relational Structures of the Modern Society

Critical discourse analysis as a type of social practice reveals how linguistic choices enable speakers to manipulate the realizations of agency and power in the representation of action.The present study examines the relationship between language and ideology and explores how such a relationship is represented in the analysis of spoken text and to show how declarative knowledge, beliefs, attit...

متن کامل

From \ Principles of Knowledge Representation and Reasoning : Proceedings of the Fourth International Conference " Learning the Classic Description Logic : Theoretical and Experimental

We present a series of theoretical and experimental results on the learnability of description logics. We rst extend previous formal learnability results on simple description logics to C-Classic, a description logic expressive enough to be practically useful. We then experimentally evaluate two extensions of a learning algorithm suggested by the formal analysis. The rst extension learns C-Clas...

متن کامل

The role of divided attention and working memory in mathematical reasoning with the mediation of mathematical knowledge and fluid intelligence in fourth grade elementary students

The purpose of the research is modeling the relationship between divided attention and working memory in mathematical reasoning with the mediation of mathematical knowledge and fluid intelligence in fourth grade elementary students. Statistical population of the research included all fourth grade male students of Primary schools in District 4 of Qom from which 213 students were randomly selecte...

متن کامل

An Investigation of Curriculum Genre Using Rose (2014) Pedagogic Exchange Model

Classroom learning consists of a variety of pedagogic relations including teachers and learners’ interactions, inclusions and exclusions of learners and evaluations. The purpose of this paper was to comprehensively examine the nature of these interactions using Rose (2014) pedagogic exchange model. The researchers qualitatively investigated the interactions of an experienced male EFL teacher wi...

متن کامل

Development of an Intelligent Cavity Layout Design System for Injection Molding Dies (RESEARCH NOTE)

This paper presents the development of an Intelligent Cavity Layout Design System (ICLDS) for multiple cavity injection moulds. The system is intended to assist mould designers in cavity layout design at concept design stage. The complexities and principles of cavity layout design as well as various dependencies in injection mould design are introduced. The knowledge in cavity layout design is ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1997